Homotopy Locally Presentable Enriched Categories

نویسنده

  • STEPHEN LACK
چکیده

We develop a homotopy theory of categories enriched in a monoidal model category V. In particular, we deal with homotopy weighted limits and colimits, and homotopy local presentability. The main result, which was known for simplicially-enriched categories, links homotopy locally presentable V-categories with combinatorial model V-categories, in the case where all objects of V are cofibrant.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Theory of Enriched Sketches

The theory of enriched accessible categories over a suitable base category V is developed. It is proved that these enriched accessible categories coincide with the categories of flat functors, but also with the categories of models of enriched sketches. A particular attention is devoted to enriched locally presentable categories and enriched functors.

متن کامل

A Theory of Enriched

The theory of enriched accessible categories over a suitable base category V is developed. It is proved that these enriched accessible categories coincide with the categories of at functors, but also with the categories of models of enriched sketches. A particular attention is devoted to enriched locally presentable categories and enriched functors.

متن کامل

Approximate Injectivity

In a locally λ-presentable category, with λ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are λ-presentable, are known to be characterized by their closure under products, λ-directed colimits and λ-pure subobjects. Replacing the strict commutativity of diagrams by “commutativity up to ε”, this paper provides an “appro...

متن کامل

On Reflective Subcategories of Locally Presentable Categories

Are all subcategories of locally finitely presentable categories that are closed under limits and λ-filtered colimits also locally presentable? For full subcategories the answer is affirmative. Makkai and Pitts proved that in the case λ = א0 the answer is affirmative also for all iso-full subcategories, i. e., those containing with every pair of objects all isomorphisms between them. We discuss...

متن کامل

Freyd categories are Enriched Lawvere Theories

Lawvere theories provide a categorical formulation of the algebraic theories from universal algebra. Freyd categories are categorical models of first-order effectful programming languages. The notion of sound limit doctrine has been used to classify accessible categories. We provide a definition of Lawvere theory that is enriched in a closed category that is locally presentable with respect to ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016